Sales Ended

12th International Conference on Evaluation of Novel Approaches to Software...

Event Information

Share this event

Date and Time

Location

Location

Porto

Porto

Portugal

View Map

Friends Who Are Going
Event description

Description

The mission of ENASE (Evaluation of Novel Approaches to Software Engineering) is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to novel approaches to software engineering. The conference acknowledges evolution in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation.
By publishing the latest research on novel approaches to software engineering and by evaluating them against systems and software quality criteria, ENASE conferences advance knowledge and research in software engineering, including and emphasizing service-oriented, business-process driven, and ubiquitous mobile computing. ENASE aims at identifying most hopeful trends and proposing new directions for consideration by researchers and practitioners involved in large-scale systems and software development, integration, deployment, delivery, maintenance and evolution.

Conference Areas

1 . Service Science and Business Information Systems
2 . Software Engineering

Conference CHAIR

Leszek Maciaszek, Wroclaw University of Economics, Poland and Macquarie University, Sydney, Australia

PROGRAM CO-CHAIRs

Ernesto Damiani, EBTIC-KUSTAR, United Arab Emirates
George Spanoudakis, City University London, United Kingdom


Keynote Speakers

Keynote Lecture

Paris Avgeriou
University of Groningen
Netherlands

Brief Bio
Dr. Paris Avgeriou is Professor of Software Engineering in the University of Groningen, the Netherlands where he has led the Software Engineering research group since September 2006. Before joining Groningen, he was a post-doctoral Fellow of the European Research Consortium for Informatics and Mathematics (ERCIM). He sits on the editorial board of IEEE Software and Springer Transactions on Pattern Languages of Programming. His research interests lie in the area of software architecture, with strong emphasis on architecture modeling, knowledge, evolution, patterns and link to requirements. He champions the evidence-based paradigm in Software Engineering research.


Abstract
Available Soon

High-level Verification and Validation of Software Supporting Business Processes

Hermann Kaindl
TU Wien
Austria

Brief Bio
Hermann Kaindl is the director of the Institute of Computer Technology and a member of the Senate at TU Wien. He joined this institute in early 2003 as a full professor. Prior to moving to academia, he was a senior consultant with the division of program and systems engineering at Siemens AG Austria. There he has gained more than 24 years of industrial experience in software development and human-computer interaction. He has published five books and more than 200 papers in refereed journals, books and conference proceedings. He is a Senior Member of the IEEE, a Distinguished Scientist member of the ACM, a member of the AAAI, and is on the executive board of the Austrian Society for Artificial Intelligence.


Abstract
High-level Verification and Validation (V&V) of software supporting business processes can be done on the level of a Business Process Model (BPM), since V&V of BPMs indirectly includes an important part of V&V of the software implementing such BPMs (e.g., through service composition). If the BPM is built ‘right’ according to given properties, the software implementing it ‘right’ also satisfies these properties, and if the BPM specifies the ‘right’ process, it is also the ‘right’ software. Semantic specification of services based on formal logic can be used for automated verification of (software) service composition. In order to make such verifications consistent with validations of service compositions in the context of business processes, more and more knowledge needs to be included in the related specifications. Independently of the formalism used, a key challenge is to consistently formalize the process and its properties. While formal verification of business process models (BPMs) can be done through model checking (also known as property checking), formalizing corresponding properties having the process model available may negatively influence the formulation of properties to be checked. In addition, properties should be checkable for several processes. So, we address the problem of formalizing properties without knowing the process model. The deeper issue is that task- and artefact-centric BPMs are mostly used in isolation.
In this context, we developed a new and systematic approach for connecting a task-centric BPM (in BPMN) with a model of an artefact-centric object life cycle through semantic task specification. This allows the formulation of properties for model checking referring to additional models of object life cycles, which together can represent certain business rules. Hence, a combination of conventional business process models (given, e.g., in BPMN), models of business object life cycles, and formalized business rules can be used for verification through model checking. So, we present a seamless approach for formal and automated verification of BPMs using model checking, and a comprehensive approach to V&V of (software) service design.


Model Me If You Can - Challenges and Benefits of Individual and Mass Data Analysis for Enterprises

Marco Brambilla
Politecnico Di Milano
Italy

Brief Bio
Marco Brambilla is associate professor at Politecnico di Milano. He is active in research and innovation, both at industrial and academic level. His research interests include data science, software modeling languages and design patterns, crowdsourcing, social media monitoring, and big data analysis. He has been visiting researcher at CISCO, San Josè, and University of California, San Diego. He has been visiting professor at Dauphine University, Paris.
He is founder of the startup Fluxedo, focusing on social media analysis and Social engagement, and of the company WebRatio, devoted to software modeling tools for Web, Mobile and Business Process based software applications. He is author of various international books and research articles in journals and conferences, with over 200 papers. He was awarded various best paper prizes and gave keynotes and speeches at many conferences and organisations. He is the main author of the OMG standard IFML. He participated in several European and international research projects. He has been reviewer of FP7 projects and evaluator of EU FP7 proposals, as well as of national and local government funding programmes throughout Europe. He has been PC chair of ICWE 2008, Berlin. He is PC member of several conferences and workshops, he organized several workshops and conference tracks so far, and he has been reviewer for many scientific journals. He is associate editor of SIGMOD Records.


Abstract
The current hype on big data, machine learning, and artificial intelligence is starting to affect even the most traditional enterprises and sectors.
In this context, we will explore the potential of large scale data collection and analysis in the area of customer/citizen monitoring, spanning techniques such as crowdsourcing, data fusion, descriptive and predictive analysis, for reconstructing people behaviour and profiling.
The keynote will also consider the perspective of the customer within the context of modern media, where sharing and interactions through digital channels apparently becomes compulsory. Citizens become ready to give up a lot of their information for (marginal?) benefits coming from technology providers that in exchange grab their data.
Through a set of real-world case studies and examples, we will explore techniques, benefits and risks that companies face in approaching user data analysis.



Important Dates

Regular Papers
Paper Submission: December 19, 2016 (expired)
Authors Notification: February 9, 2017 (expired)
Camera Ready and Registration: February 23, 2017

Position Papers
Paper Submission: January 31, 2017 (expired)
Authors Notification: February 27, 2017
Camera Ready and Registration: March 13, 2017

Workshops
Workshop Proposal: January 17, 2017 (expired)

Doctoral Consortium
Paper Submission: March 1, 2017
Authors Notification: March 14, 2017
Camera Ready and Registration: March 24, 2017

Special Sessions
Special Session Proposal: February 2, 2017 (expired)
Paper Submission: February 21, 2017
Authors Notification: March 1, 2017
Camera Ready and Registration: March 13, 2017

Tutorials
Tutorial Proposal: March 6, 2017

Demos
Demo Proposal: March 6, 2017

Panels
Panel Proposal: March 6, 2017

Open Communications
Paper Submission: March 1, 2017
Authors Notification: March 14, 2017
Camera Ready and Registration: March 24, 2017


NO REFUNDS ON REGISTRATIONS ALLOWED

NO TRANSFER ON REGISTRATIONS ALLOWED

-----------------------------------------------------------------
This Event Listing is Promoted by
New York Media Technologies LLC in association
with INSTICC.
http://www.NyEventsList.com
http://www.BostonEventsList.com
http://www.SFBayEventsList.com
-----------------------------------------------------------------
SHU170213CEV

Share with friends

Date and Time

Location

Porto

Porto

Portugal

View Map

Save This Event

Event Saved