Lecture Notes in Business Information Processing 109 SeriesEditors WilvanderAalst EindhovenTechnicalUniversity,TheNetherlands JohnMylopoulos UniversityofTrento,Italy MichaelRosemann QueenslandUniversityofTechnology,Brisbane,Qld,Australia MichaelJ.Shaw UniversityofIllinois,Urbana-Champaign,IL,USA ClemensSzyperski MicrosoftResearch,Redmond,WA,USA Boris Shishkov (Ed.) Business Modeling and Software Design First International Symposium, BMSD 2011 Sofia, Bulgaria, July 27-28, 2011 Revised Selected Papers 1 3 VolumeEditor BorisShishkov InterdisciplinaryInstituteforCollaborationandResearch onEnterpriseSystemsandTechnology–IICREST Sofia,Bulgaria E-mail:[email protected] ISSN1865-1348 e-ISSN1865-1356 ISBN978-3-642-29787-8 e-ISBN978-3-642-29788-5 DOI10.1007/978-3-642-29788-5 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2012935862 ACMComputingClassification(1998):J.1,H.4,H.3.5,D.2 ©Springer-VerlagBerlinHeidelberg2012 Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply, evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws andregulationsandthereforefreeforgeneraluse. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This book contains extended and revised versions of a set of selected papers from the First International Symposium on Business Modeling and Software Design(BMSD2011),heldinSofia,Bulgaria.Thesymposiumwasorganizedand sponsored by the Interdisciplinary Institute for Collaboration and Research on EnterpriseSystems andTechnology(IICREST),in cooperationwith the Center for Telematics and Information Technology (CTIT), the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and the Technical University of Sofia, and was technically co-sponsored by Sofia Municipality and QlikTech Netherlands B.V. The purpose of BMSD 2011 was to bring together researchers and practi- tioners interested in business modeling and its relation to software design. The theme of BMSD 2011was:“Business Models and Advanced SoftwareSystems,” and the scientific areas of interest to the symposium were: (a) business models and requirements; (b) business models and services; (c) business models and software; (d) information systems architectures. Building adequatebusinessmodels is ofhuge importancenotonlyforunder- standingandre-engineeringanorganizationbutalsoforautomating(partof)its processesbymeansofsoftwaresystems.Notgraspingcorrectlyandexhaustively a business system would inevitably lead to consequent software failures. BMSD 2011 addressed these challenges, by considering a large number of researchtop- ics:frommoreabstractones,suchasessentialbusinessmodels,tomoretechnical ones, such as software specification, from more business-oriented ones, such as business process management and coordination, and requirements specification to IT architectures -related topics. BMSD 2011 received 58 paper submissions from which 22 papers were se- lectedforpublicationinthesymposiumproceedings.Fromthese,10paperswere selectedfora30-minuteoralpresentation(FullPapers),leadingtoa“full-paper” acceptance ratio of 17%; this shows the intention of preserving a high-quality forum for the next editions of this symposium. The 8 papers published in the currentbookwereselectedfromthe BMSD2011FullPapers.InallBMSD2011 selections,adouble-blindpaperevaluationmethodwasused:eachpaperwasre- viewed by at least two internationally known experts from the BMSD Program Committee. The high quality of the BMSD 2011 program was enhanced by four keynote lectures, delivered by distinguished guests who are renowned experts in their fields, including (alphabetically): Mehmet Aksit (University of Twente, The Netherlands), Dimitar Christozov (American University in Bulgaria - Blago- evgrad, Bulgaria), Hermann Maurer (Graz University of Technology, Austria), and Bart Nieuwenhuis (University of Twente, The Netherlands). Their lectures VI Preface inspiredtheparticipantstogainadeeperunderstandingofthebusinessmodeling and software design fields. Wehopethatyouwillfindthesepapersinterestingandconsiderthemahelp- ful reference in the future when addressing any of the researchareas mentioned above. February 2012 Boris Shishkov Symposium Committee Chair Boris Shishkov IICREST, Bulgaria BMSD Program Committee Mehmet Aksit University of Twente, The Netherlands Antonia Albani University of St. Gallen, Switzerland Ognian Andreev Technical University - Sofia, Bulgaria Paulo Anita Delft University of Technology, The Netherlands Rumen Arnaudov Technical University - Sofia, Bulgaria Colin Atkinson University of Mannheim, Germany Csaba Boer Tba, The Netherlands Boyan Bontchev SofiaUniversitySt.KlimentOhridski,Bulgaria Frances Brazier Delft University of Technology, The Netherlands Barrett Bryant University of Alabama at Birmingham, USA Cinzia Cappiello Politecnico di Milano, Italy Kuo-Ming Chao Coventry University, UK Ruzanna Chitchyan Lancaster University, UK Samuel Chong Capgemini, UK Dimitar Christozov American University in Bulgaria,Bulgaria Selim Ciraci University of Twente, The Netherlands Jos´e Cordeiro Polytechnic Institute of Setu´bal, Portugal Dumitru Dan Burdescu University of Craiova, Romania Joop De Jong Delft University of Technology, The Netherlands Jan L.G. Dietz Delft University of Technology, The Netherlands Lyubka Doukovska Bulgarian Academy of Sciences, Bulgaria Joaquim Filipe Polytechnic Institute of Setu´bal, Portugal Boris Fritscher University of Lausanne, Switzerland J. Paul Gibson T&Msp - Telecom & Management Sudparis, France Eduardo Goncalves Da Silva University of Twente, The Netherlands Rafael Gonzalez Javeriana University, Colombia Clever Ricardo Guareis De Farias University of Sao Paulo, Brazil VIII Symposium Committee Markus Helfert Dublin City University, Ireland Philip Huysmans University of Antwerp, Belgium Ilian Ilkov IBM, The Netherlands Ivan Ivanov Suny Empire State College, USA Dimitris Karagiannis University of Vienna, Austria Marite Kirikova Riga Technical University, Latvia Samuel Kounev Karlsruhe Institute of Technology, Germany Kecheng Liu University of Reading, UK Leszek Maciaszek MacquarieUniversity,Australia/Universityof Economics, Poland Jelena Marincic University of Twente, The Netherlands Michele Missikoff Institute for Systems Analysis and Computer Science, Italy Dimitris Mitrakos Aristotle University of Thessaloniki, Greece Preslav Nakov National University of Singapore, Singapore Ricardo Neisse University of Kaiserslautern,Germany Bart Nieuwenhuis University of Twente, The Netherlands Selmin Nurcan University Paris 1 Pantheon Sorbonne, France Olga Ormandjieva Concordia University, Canada Robert Parhonyi Inter Access, The Netherlands Marcin Paprzycki Polish Academy of Sciences, Poland Oscar Pastor Universidad Polit´ecnica de Valencia, Spain Erik Proper Public Research Centre - Henri Tudor, Luxembourg Jolita Ralyte University of Geneva, Switzerland Gil Regev EPFL / Itecor, Switzerland Ella Roubtsova Open University, The Netherlands Irina Rychkova University Paris 1 Pantheon Sorbonne, France Shazia Sadiq University of Queensland, Australia Brahmananda Sapkota University of Twente, The Netherlands Tony Shan Keane Inc., USA Kamran Sheikh IBM, The Netherlands Valery Sokolov YaroslavlState University, Russia Richard Starmans Utrecht University, The Netherlands Cosmin Stoica Spahiu University of Craiova, Romania Coen Suurmond RBK Group, The Netherlands Bedir Tekinerdogan Bilkent University, Turkey Linda Terlouw ICRIS B.V., The Netherlands Yasar Tonta Hacettepe University, Turkey Roumiana Tsankova Technical University - Sofia, Bulgaria Marten van Sinderen University of Twente, The Netherlands Mladen Velev Technical University - Sofia, Bulgaria Symposium Committee IX Kris Ven University of Antwerpen, Belgium Maria Virvou University of Piraeus, Greece Martijn Warnier Delft University of Technology, The Netherlands Shin-Jer Yang Soochow University, Taiwan Benjamin Yen University of Hong Kong, China Fani Zlatarova Elizabethtown College, USA Invited Speakers Mehmet Aksit University of Twente, The Netherlands Dimitar Christozov AmericanUniversityinBulgaria-Blagoevgrad, Bulgaria Hermann Maurer Graz University of Technology, Austria Bart Nieuwenhuis University of Twente, The Netherlands Table of Contents Reasoning on Models Combining Objects and Aspects ................ 1 Ella Roubtsova Model-Based Techniques for Performance Engineering of Business Information Systems ............................................. 19 Samuel Kounev, Nikolaus Huber, Simon Spinner, and Fabian Brosig Enabling Enterprise CollaborationUsing Service Source Descriptions ... 38 Brahmanadna Sapkota and Marten van Sinderen Revisiting Goal-Oriented Requirements Engineering with a Regulation View ........................................................... 56 Gil Regev and Alain Wegmann On the Impact of Modular Dependencies on Innovation in Organizations ................................................. 70 Philip Huysmans Calculating the Application Criticality and Business Risk from Technology Obsolescence.......................................... 91 Cameron Spence, Vaughan Michell, and Daniel Spence A Method for Business Model Development ......................... 113 Lucas O. Meertens, Maria-Eugenia Iacob, and Lambert (Bart) J.M. Nieuwenhuis Administrations as Instruments for Dealing with Organizational Complexity ..................................................... 130 Coen Suurmond Author Index.................................................. 147 Reasoning on Models Combining Objects and Aspects Ella Roubtsova Open Universityof theNetherlands [email protected] Abstract. Modelling techniques are instruments for reality reflection. Precision of reality reflection demands coexistence of different abstrac- tion types like objects and aspects in one model. Experiments with ex- tension of modelling techniquesaimed toaccommodate combinations of objects and aspects in one specification haveresulted in aspect-oriented extensionsofmanyconventionalmodelling semantics. Itwasfound that oneofsemanticscalledProtocolModellingpossessaverypracticalprop- erty of local reasoning on objects and aspects about behaviour of the wholemodel.Inthispaperthelocalreasoningpropertyisdefinedinthe reasoning logic and this property is demonstrated with a case study in theProtocolModellingapproach.Thenthesamecasestudyispresented in aspect-oriented extensions of modelling approaches based on the se- mantics of contracts, sequencediagrams, workflows and state machines. The case study shows that the extensions of conventional semantics do notpossessthelocalreasoningproperty.Thesemanticdifferencebetween Protocol Modelling and the listed modelling semantics is discussed and the useful semantic elements are recommended for new aspect-oriented languages and middleware. Keywords: Local Reasoning, Aspects, Protocol Models, Contracts, SequenceDiagrams, Workflows, State Machines. 1 Introduction Modelling abstractions were created to mirror systems and reflect the step- wise way of collecting domain knowledge during requirements engineering. Us- ing objects for system decomposition is a very common practice and it is well knownthatseparationofobjectsoftencausescrosscuttingabstractionsscattered through system specification. Inorderto implementacrosscuttingabstractionamodularunitcalledaspect wasdesigned[7].Anaspectcontainsanadvice intheformofacodepresentinga concernandpointcutdesignators beingtheinstructionsonwhere,whenandhow to invoke the advice. The well defined places in the structure of a program or a modelwhereanadviceshouldbeattachedwerenamedjoinpoints.Programming community had already accepted a join point model that used method calls as joinpointsandinsertedadvicebefore,afteroraroundamethodcall[7].Thisjoin point model was implemented as various extensions of programming languages. B.Shishkov(Ed.):BMSD2011,LNBIP109,pp.1–18,2012. (cid:2)c Springer-VerlagBerlinHeidelberg2012