Skip header Section
Skip Bibliometrics Section
Concurrency: State Models and Java ProgramsJune 2006
- Authors:
- Jeff Magee,
- Jeff Kramer
Skip Abstract Section
Abstract
Concurrency provides a thoroughly updatedapproach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topicMagee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combineto provide problem patterns and associated solution techniqueswhich enablestudents torecognise problems and arrive at solutions. New features include: New chapters covering program verification and logical properties. More student exercises. Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking. Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.
Cited By
- Zhang C, Saluja T, Meira-Góes R, Bolton M, Garlan D and Kang E Robustification of Behavioral Designs against Environmental Deviations Proceedings of the 45th International Conference on Software Engineering, (423-434)
- Abeywickrama D, Bicocchi N, Mamei M and Zambonelli F (2020). The SOTA approach to engineering collective adaptive systems, International Journal on Software Tools for Technology Transfer (STTT), 22:4, (399-415), Online publication date: 1-Aug-2020.
Tran H, Nguyen Q and Hung P On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems Proceedings of the 10th International Symposium on Information and Communication Technology, (457-464)- Sekerinski E Teaching Concurrency with the Disappearing Formal Method Formal Methods Teaching, (135-149)
- Ubayashi N, Watanabe T, Kamei Y and Sato R Git-based integrated uncertainty manager Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, (95-98)
- Abeywickrama D, Mamei M and Zambonelli F Engineering Collectives of Self-driving Vehicles: The SOTA Approach Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, (79-93)
- Ahmadi R, Posse E and Dingel J Slicing UML-based Models of Real-time Embedded Systems Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (346-356)
- Duarte L, Maia P and Silva A Extraction of probabilistic behaviour models based on contexts Proceedings of the 10th International Workshop on Modelling in Software Engineering, (25-32)
- Degiovanni R, Castro P, Arroyo M, Ruiz M, Aguirre N and Frias M Goal-conflict likelihood assessment based on model counting Proceedings of the 40th International Conference on Software Engineering, (1125-1135)
- Bijlsma A, Huizing C, Kuiper R, Passier H, Pootjes H and Smetsers J A Structured Design Methodology for Concurrent Programming Proceedings of the 6th Computer Science Education Research Conference, (1-9)
- BăźDicăź A and BăźDicăź C (2017). Formal framework for distributed swarm computing, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 21:17, (4925-4938), Online publication date: 1-Sep-2017.
- Bagherzadeh M, Hili N and Dingel J Model-level, platform-independent debugging in the context of the model-driven development of real-time systems Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (419-430)
- Watanabe K, Ubayashi N, Fukamachi T, Nakamura S, Muraoka H and Kamei Y iArch-U Proceedings of the 9th International Workshop on Modelling in Software Engineering, (40-46)
- Duarte L, Kramer J and Uchitel S (2017). Using contexts to extract models from code, Software and Systems Modeling (SoSyM), 16:2, (523-557), Online publication date: 1-May-2017.
- Qi X, He J, Wang P and Zhou H (2016). Variable strength combinatorial testing of concurrent programs, Frontiers of Computer Science: Selected Publications from Chinese Universities, 10:4, (631-643), Online publication date: 1-Aug-2016.
- Hermanns H, Krämer J, Krăźál J and Stoelinga M The Value of Attack-Defence Diagrams Proceedings of the 5th International Conference on Principles of Security and Trust - Volume 9635, (163-185)
- Rodrigues P, Lupu E and Kramer J Compositional reliability analysis for probabilistic component automata Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (19-24)
- Fukamachi T, Ubayashi N, Hosoai S and Kamei Y Modularity for uncertainty Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (7-12)
- Fukamachi T, Ubayashi N, Hosoai S and Kamei Y Conquering uncertainty in Java programming Proceedings of the 37th International Conference on Software Engineering - Volume 2, (823-824)
- Soto F, Sánchez P, Mateo A, Alonso D and Navarro P (2014). An educational tool for implementing reactive systems following a goal-driven approach, Computer Applications in Engineering Education, 22:4, (764-773), Online publication date: 1-Dec-2014.
- Stuurman S, van Gastel B and Passier H The design of mobile apps Proceedings of the Computer Science Education Research Conference, (93-100)
- Simidchieva B and Osterweil L Generation, composition, and verification of families of human-intensive systems Proceedings of the 18th International Software Product Line Conference - Volume 1, (207-216)
- Ozkaya M and Kloukinas C Design-by-contract for reusable components and realizable architectures Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, (129-138)
- Rodrigues P, Lupu E and Kramer J LTSA-PCA: tool support for compositional reliability analysis Companion Proceedings of the 36th International Conference on Software Engineering, (548-551)
- D'Ippolito N, Braberman V, Kramer J, Magee J, Sykes D and Uchitel S Hope for the best, prepare for the worst: multi-tier control for adaptive systems Proceedings of the 36th International Conference on Software Engineering, (688-699)
- Krka I, D'Ippolito N, Medvidović N and Uchitel S Revisiting Compatibility of Input-Output Modal Transition Systems Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (367-381)
- Zhao Y, Li Z, Shen H and Ma D (2013). Development of global specification for dynamically adaptive software, Computing, 95:9, (785-816), Online publication date: 1-Sep-2013.
- Braberman V, D'Ippolito N, Piterman N, Sykes D and Uchitel S Controller synthesis: from modelling to enactment Proceedings of the 2013 International Conference on Software Engineering, (1347-1350)
- Letier E and Heaven W Requirements modelling by synthesis of deontic input-output automata Proceedings of the 2013 International Conference on Software Engineering, (592-601)
- Garavel H, Lang F, Mateescu R and Serwe W (2013). CADP 2011, International Journal on Software Tools for Technology Transfer (STTT), 15:2, (89-107), Online publication date: 1-Apr-2013.
- Grace P, Bromberg Y, Réveillère L and Blair G OverStar Proceedings of the 13th International Middleware Conference, (229-248)
- Bennaceur A, Issarny V, Spalazzese R and Tyagi S Achieving interoperability through semantics-based technologies Proceedings of the 11th international conference on The Semantic Web - Volume Part II, (17-33)
- Issarny V and Bennaceur A Composing Distributed Systems Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866, (168-196)
- Gudka K, Harris T and Eisenbach S Lock inference in the presence of large libraries Proceedings of the 26th European conference on Object-Oriented Programming, (308-332)
- Krka I and Medvidovic N Revisiting modal interface automata Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, (30-36)
- Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012). Behavioral interface specification languages, ACM Computing Surveys, 44:3, (1-58), Online publication date: 1-Jun-2012.
- Cheung L, Krka I, Golubchik L and Medvidovic N Architecture-level reliability prediction of concurrent systems Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering, (121-132)
- Hennicker R and Ludwig M View-based development of a simulation framework for multi-disciplinary environmental modelling Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management, (224-250)
- Abeywickrama D and Ramakrishnan S (2012). Context-aware services engineering, ACM Transactions on Internet Technology, 11:3, (1-28), Online publication date: 1-Jan-2012.
- Grigore E, Eder K, Lenz A, Skachek S, Pipe A and Melhuish C Towards safe human-robot interaction Proceedings of the 12th Annual conference on Towards autonomous robotic systems, (323-335)
- Bianculli D, Giannakopoulou D and Păsăreanu C Interface decomposition for service compositions Proceedings of the 33rd International Conference on Software Engineering, (501-510)
- Kumazawa T and Tamai T Counter example-based error localization of behavior models Proceedings of the Third international conference on NASA Formal methods, (222-236)
- Garavel H, Lang F, Mateescu R and Serwe W CADP 2010 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software, (372-387)
- Krka I From requirements to partial behavior models Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (341-344)
- D'Ippolito N, Braberman V, Piterman N and Uchitel S Synthesis of live behaviour models Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (77-86)
- Marin A and Vigliotti M A general result for deriving product-form solutions in markovian models Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, (165-176)
- Kraemer F, Slåtten V and Herrmann P (2009). Tool support for the rapid composition, analysis and implementation of reactive services, Journal of Systems and Software, 82:12, (2068-2080), Online publication date: 1-Dec-2009.
- Chen J and Huang L Formal verification of service composition in pervasive computing environments Proceedings of the First Asia-Pacific Symposium on Internetware, (1-5)
- Yokoyama S, Sato H and Kurihara M User-friendly GUI in software model checking Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics, (468-473)
- Krka I Synthesizing and utilizing partial behavior models during requirements elicitation Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium, (31-32)
- Nishihara H, Shinozaki K, Hayamizu K, Aoki T, Taguchi K and Kumeno F (2009). Model checking education for software engineers in Japan, ACM SIGCSE Bulletin, 41:2, (45-50), Online publication date: 25-Jun-2009.
- Tahara Y, Yoshioka N, Taguchi K, Aoki T and Honiden S (2009). Evolution of a course on model checking for practical applications, ACM SIGCSE Bulletin, 41:2, (38-44), Online publication date: 25-Jun-2009.
- Ciobanu G and Juravle C A Software Platform for Timed Mobility and Timed Interaction Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, (106-121)
- Damas C, Lambeau B, Roucoux F and van Lamsweerde A Analyzing critical process models through behavior model synthesis Proceedings of the 31st International Conference on Software Engineering, (441-451)
- Hamlet D (2009). Tools and experiments supporting a testing-based theory of component composition, ACM Transactions on Software Engineering and Methodology, 18:3, (1-41), Online publication date: 1-May-2009.
- May N A Redundancy Protocol for Service-Oriented Architectures Service-Oriented Computing --- ICSOC 2008 Workshops, (211-220)
- Fekete A (2009). Teaching about threading, ACM SIGACT News, 40:1, (51-57), Online publication date: 28-Feb-2009.
- Nejati S, Sabetzadeh M, Chechik M, Uchitel S and Zave P Towards compositional synthesis of evolving systems Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, (285-296)
- van Lamsweerde A Requirements engineering Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, (238-249)
- Hamberg R and Vaandrager F (2008). Using model checkers in an introductory course on operating systems, ACM SIGOPS Operating Systems Review, 42:6, (101-111), Online publication date: 1-Oct-2008.
- Xie S, Kraemer E, Stirewalt R, Dillon L and Fleming S Assessing the benefits of synchronization-adorned sequence diagrams Proceedings of the 4th ACM symposium on Software visualization, (9-18)
- Schlatte R, Aichernig B, Boer F, Griesmayer A and Johnsen E Testing Concurrent Objects with Application-Specific Schedulers Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, (319-333)
- Abeywickrama D and Ramakrishnan S A model-based approach for engineering pervasive services in SOAs Proceedings of the 5th international conference on Pervasive services, (57-60)
- Abeywickrama D and Ramakrishnan S Towards engineering models of aspectual pervasive software services Proceedings of the 3rd ACM workshop on Software engineering for pervasive services, (3-8)
- Núñez A and Noyé J An event-based coordination model for context-aware applications Proceedings of the 10th international conference on Coordination models and languages, (232-248)
- Fleming S, Kraemer E, Stirewalt R, Xie S and Dillon L A study of student strategies for the corrective maintenance of concurrent software Proceedings of the 30th international conference on Software engineering, (759-768)
- Grogono P and Shearing B Concurrent software engineering Proceedings of the 2008 C3S2E conference, (99-108)
- Dillon L, Stirewalt R, Kraemer E, Xie S and Fleming S Using formal models to objectively judge quality of multi-threaded programs in empirical studies Proceedings of the 2008 international workshop on Models in software engineering, (33-38)
- Nejati S and Chechik M Behavioural model fusion Proceedings of the 2008 international workshop on Models in software engineering, (1-6)
- Duarte L, Kramer J and Uchitel S Towards faithful model extraction based on contexts Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, (101-115)
- Papazoglou P, Karras D and Papademetriou R On the multi-threading approach of efficient multi-agent methodology for modelling cellular communications bandwidth management Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications, (431-443)
- Herzberg D, Marsden N, Leonhardt C, Kübler P, Jung H, Thomanek S and Becker A Using formal specification techniques for advanced counseling systems in health care Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care, (41-54)
- Fraikin B and Frappier M Efficient symbolic execution of large quantifications in a process algebra Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (327-344)
- Fraikin B and Frappier M Efficient Symbolic Execution of Large Quantifications in a Process Algebra Formal Methods and Software Engineering, (327-344)
- Chaki S, Ivers J, Lee P, Wallnau K and Zeilberger N Model-driven construction of certified binaries Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (666-681)
- Foster H, Emmerich W, Kramer J, Magee J, Rosenblum D and Uchitel S Model checking service compositions under resource constraints Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (225-234)
- Papazoglou P, Karras D and Papademetriou R Improved simulation system performance for wireless communications using efficient multi-threading architectures Proceedings of the 11th Conference on 11th WSEAS International Conference on Communications - Volume 11, (366-371)
- Eisenbach S, Sadler C and Wong D Component adaptation in contemporary execution environments Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, (90-103)
- Bădică A and Bădică C Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, (248-257)
- Kramer J (2007). Is abstraction the key to computing?, Communications of the ACM, 50:4, (36-42), Online publication date: 1-Apr-2007.
Recommendations
Semantics-based concurrency control: beyond commutativity
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...