Search For:

Displaying 1-4 out of 4 total
Variability Management beyond Feature Models
Found in: Computer
By Anna-Lena Lamprecht,Stefan Naujokat,Ina Schaefer
Issue Date:November 2013
pp. 48-54
When new customer and regulatory requirements arise, the ability to quickly adapt business information system processes is crucial to stay ahead of competitors. A proposed synthesis-based framework enables the development of business processes that automat...
Tailoring Process Synthesis to Domain Characteristics
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
Issue Date:April 2011
pp. 167-175
PROPHETS is our flexible framework for the synthesis of processes from libraries of basic services. In this paper we demonstrate how its synthesis strategy can be tailored to the considered application domain. For this purpose, PROPHETS provides a number o...
Synthesis-Based Loose Programming
Found in: Quality of Information and Communications Technology, International Conference on the
By Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
Issue Date:October 2010
pp. 262-267
In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specification, a graphical formalism that allow...
Service-Oriented Mediation with jETI/jABC: Verification and Export
Found in: Web Intelligence and Intelligent Agent Technology, International Conference on
By Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat
Issue Date:November 2007
pp. 144-147
The paper presents how we solved the Mediation challenge in a model driven, service oriented fashion, how we verify properties of the Mediator via model checking in the jABC, and how to systematically export jABC/jETI orchestrated services as Web services....